<body>
Tokens represented internally using Strings.
</body>